This paper responds to Antje du-Bois Pedain’s discussion of the wrongfulness constraint on the criminal law. Du-Bois Pedain argues that the constraint is best interpreted as stating that φing is legitimately criminalised only if φing is wrongful for other-regarding reasons. We take issue with du-Bois Pedain’s arguments. In our view, it is neither a necessary nor sufficient condition of legitimate criminalisation that φing is wrongful in du-Bois Pedain’s sense. Rather, it is a necessary condition of legitimate criminalisation that φing is (...) what we call bare wrongful —that is, that the reasons in favour of φing are defeated by the reasons against. Though du-Bois Pedain is critical of this view, we argue that her criticisms do not convince. (shrink)

Human migration is nonrandom. In small scale societies of the past, and in the modern world, people tend to move to wealthier, safer, and more just societies from poorer, more violent, less just societies. If immigrants are assimilated, such nonrandom migration can increase the occurrence of culturally transmitted beliefs, values, and institutions that cause societies to be attractive to immigrants. Here we describe and analyze a simple model of this process. This model suggests that long run outcomes depend on the (...) relative strength of migration and local adaptation. When local adaption is strong enough to preserve cultural variation among groups, cultural variants that make societies attractive always predominate, but never drive alternative variants to extinction. When migration predominates, outcomes depend both on the relative attractiveness of alternative variants and on the initial sizes of societies that provide and receive immigrants. (shrink)

Layers of complexity arise when a person arrives in an Intensive Care Unit (ICU) due to self-harm intended to end their life and when there is known past personal trauma. We highlight three importa...

Human societies are extraordinarily cooperative compared to those of most other animals. In the vast majority of species, individuals live solitary lives, meeting to only to mate and, sometimes, raise their young. In social species, cooperation is limited to relatives and (maybe) small groups of reciprocators. After a brief period of maternal support, individuals acquire virtually all of the food that they eat. There is little division of labor, no trade, and no large scale conflict. Communication is limited to a (...) small repertoire of self-verifying signals. No one cares for the sick, or feeds the hungry or disabled. The strong take from the weak without fear of sanctions by third parties. Amend Hobbes to account for nepotism, and his picture of the state of nature is not so far off for most other animals. In contrast, people in even the simplest human societies regularly cooperate with many unrelated individuals. Human language allows low-cost honest communication of virtually unlimited complexity. The sick are cared for, and sharing leads to substantial flows of food from the middle aged to the young and old. Division of labor and trade are prominent features of every historically known human society, and archaeology indicates that they have a long history. Violent conflict among sizable groups is common. In every human society, social life is regulated by commonly held moral systems that specify the rights and duties of individuals enforced, albeit imperfectly, by third party sanctions. (shrink)

We introduce a linear analogue of Läuchli's semantics for intuitionistic logic. In fact, our result is a strengthening of Läuchli's work to the level of proofs, rather than provability. This is obtained by considering continuous actions of the additive group of integers on a category of topological vector spaces. The semantics, based on functorial polymorphism, consists of dinatural transformations which are equivariant with respect to all such actions. Such dinatural transformations are called uniform. To any sequent in Multiplicative Linear Logic (...) , we associate a vector space of“diadditive” uniform transformations. We then show that this space is generated by denotations of cut-free proofs of the sequent in the theory MLL + MIX. Thus we obtain a full completeness theorem in the sense of Abramsky and Jagadeesan, although our result differs from theirs in the use of dinatural transformations.As corollaries, we show that these dinatural transformations compose, and obtain a conservativity result: diadditive dinatural transformations which are uniform with respect to actions of the additive group of integers are also uniform with respect to the actions of arbitrary cocommutative Hopf algebras. Finally, we discuss several possible extensions of this work to noncommutative logic.It is well known that the intuitionistic version of Läuchli's semantics is a special case of the theory of logical relations, due to Plotkin and Statman. Thus, our work can also be viewed as a first step towards developing a theory of logical relations for linear logic and concurrency. (shrink)

Hume’s view of reason is notoriously hard to pin down, not least because of the apparently contradictory positions which he appears to adopt in different places. The problem is perhaps most clear in his writings concerning induction - in his famous argument of Treatise I iii 6 and Enquiry IV, on the one hand, he seems to conclude that “probable inference” has no rational basis, while elsewhere, for example in much of his writing on natural theology, he seems happy to (...) acknowledge that such inference is not only reasonable, but is even a paradigm of reasoning against which the theistic arguments must be judged. In the face of this apparent contradiction, many recent commentators have proferred “non-sceptical” interpretations of Hume’s argument concerning induction, but in this paper I sketch an alternative and perhaps less radical method of resolving the problem, by identifying a major threefold ambiguity in Hume’s use of the word “reason”. On this interpretation, Hume indeed sees induction as a paradigm of reasonableness in what is arguably the most important sense, but he nevertheless believes induction to be entirely non-reasonable in another sense, which though less important in common life is nevertheless very significant philosophically. A comparison with Locke can help to illuminate Hume’s position, which though indeed not entirely sceptical about induction, is by no means entirely non-sceptical either. (shrink)

This is the first of two volumes of essays in commemoration of Alan Turing, whose pioneering work in the theory of artificial intelligence and computer science continues to be widely discussed today. A group of prominent academics from a wide range of disciplines focus on three questions famously raised by Turing: What, if any, are the limits on machine `thinking'? Could a machine be genuinely intelligent? Might we ourselves be biological machines, whose thought consists essentially in nothing more than the (...) interaction of neurons according to strictly determined rules? The discussion of these fascinating issues is accessible to non-specialists and stimulating for all readers. (shrink)

Aim: Patients with advanced cancer need information about end-of-life treatment options in order to make informed decisions. Clinicians vary in the frequency with which they initiate these discussions.Patients and methods: As part of a long-term longitudinal study, patients with an expected 2-year survival of less than 50% who had advanced gastrointestinal or lung cancer or amyotrophic lateral sclerosis were interviewed. Each patient’s medical record was reviewed at enrollment and at 3 months for evidence of the discussion of patient wishes concerning (...) ventilator support, artificial nutrition and hydration , resuscitation and hospice care. A Kaplan–Meier analysis was also performed and 2-year survival calculated.Results: 60 cancer and 32 ALS patients were enrolled. ALS patients were more likely than cancer patients to have evidence of discussion about their wishes for ventilator support , ANH , DNR and hospice care . At 6 months, 91% of ALS patients were alive compared with 62% of cancer patients; at 2 years, 63% of ALS patients were alive compared with 23% of cancer patients .Conclusions: Cancer patients were less likely than ALS patients to have had documented advanced care planning discussions despite worse survival. This may reflect perceptions that ALS has a more predictable course, that advanced cancer has a greater number of treatment options, or differing views about hope. Nevertheless, cancer patients may be less adequately prepared for end-of-life decision-making. (shrink)

We present a full completeness theorem for the multiplicative fragment of a variant of noncommutative linear logic, Yetter's cyclic linear logic (CyLL). The semantics is obtained by interpreting proofs as dinatural transformations on a category of topological vector spaces, these transformations being equivariant under certain actions of a noncocommutative Hopf algebra called the shuffie algebra. Multiplicative sequents are assigned a vector space of such dinaturals, and we show that this space has as a basis the denotations of cut-free proofs in (...) CyLL + MIX. This can be viewed as a fully faithful representation of a free *-autonomous category, canonically enriched over vector spaces. This paper is a natural extension of the authors' previous work, "Linear Lauchli Semantics", where a similar theorem is obtained for the commutative logic MLL + MIX. In that paper, we interpret proofs as dinaturals which are invariant under certain actions of the additive group of integers. Here we also present a simplification of that work by showing that the invariance criterion is actually a consequence of dinaturality. The passage from groups to Hopf algebras in this paper corresponds to the passage from commutative to noncommutative logic. However, in our noncommutative setting, one must still keep the invariance condition on dinaturals. (shrink)

Paul Grobstein, Eleanor A. Bliss Professor of Biology at Bryn Mawr College, Pennsylvania, USA passed away Tuesday, June 28, 2011. Since Paul came to Bryn Mawr in 1986, he taught courses ranging from "Introductory Biology" and "Philosophy of Science" to "Evolution of Stories" and "The Brain and Education." Paul founded the Summer Institutes for K-12 Teachers, which brought hundreds of local educators to campus to consider new ways of teaching science and math. He served as chair of the Biology Department (...) and was instrumental in the establishment and success of the Center for Science in Society at Bryn Mawr College. (shrink)

Background Regarding controversial medical services, many have argued that if physicians cannot in good conscience provide a legal medical intervention for which a patient is a candidate, they should refer the requesting patient to an accommodating provider. This study examines what US physicians think a doctor is obligated to do when the doctor thinks it would be immoral to provide a referral. Method The authors conducted a cross-sectional survey of a random sample of 2000 US physicians from all specialties. The (...) primary criterion variable was agreement that physicians have a professional obligation to refer patients for all legal medical services for which the patients are candidates, even if the physician believes that such a referral is immoral. Results Of 1895 eligible physicians, 1032 (55%) responded. 57% of physicians agreed that doctors must refer patients regardless of whether or not the doctor believes the referral itself is immoral. Holding this opinion was independently associated with being more theologically pluralistic, describing oneself as sociopolitically liberal, and indicating that respect for patient autonomy is the most important bioethical principle in one's practice (multivariable ORs, 1.6–2.4). Conclusions Physicians are divided about a professional obligation to refer when the physician believes that referral itself is immoral. These data suggest there is no uncontroversial way to resolve conflicts posed when patients request interventions that their physicians cannot in good conscience provide. (shrink)

We present a full completeness theorem for the multiplicative fragment of a variant of noncommutative linear logic, Yetter's cyclic linear logic. The semantics is obtained by interpreting proofs as dinatural transformations on a category of topological vector spaces, these transformations being equivariant under certain actions of a noncocommutative Hopf algebra called the shuffie algebra. Multiplicative sequents are assigned a vector space of such dinaturals, and we show that this space has as a basis the denotations of cut-free proofs in CyLL (...) + MIX. This can be viewed as a fully faithful representation of a free *-autonomous category, canonically enriched over vector spaces. This paper is a natural extension of the authors' previous work, "Linear Lauchli Semantics", where a similar theorem is obtained for the commutative logic MLL + MIX. In that paper, we interpret proofs as dinaturals which are invariant under certain actions of the additive group of integers. Here we also present a simplification of that work by showing that the invariance criterion is actually a consequence of dinaturality. The passage from groups to Hopf algebras in this paper corresponds to the passage from commutative to noncommutative logic. However, in our noncommutative setting, one must still keep the invariance condition on dinaturals. (shrink)

A misconception regarding the ultrastructural basis of myocardial failure has been observed in laboratory studies involving medical students and practicing physicians, in medical textbooks, and in clinical instruction of students. This misconception attributes heart failure to overextension of individual cardiac muscle fibres and their sarcomeres, resulting in a mechanically based decline in contractile force production. The basis of the misconception is a set of component misconceptions which interact in reciprocally supportive ways. The interlocking nature of the component misunderstandings strengthens the (...) overall misconception, making it difficult to undermine. A contributor to many aspects of the faulty account of heart failure is a tendency toward oversimplification of complex phenomena in learning, instruction, and scientific research. Implications for medical education are considered. (shrink)

Seventeen scholars have contributed to this Festschrift presented to Eugen Fink, Professor of Philosophy at the University of Freiburg/br., on the occasion of his sixtieth birthday. The essays are not intended to be "exemplary," but rather to express a community of thought; a participation of philosophers in the common task of defining significant problems for their discipline. A considerable number of the essays are thematically oriented around the works of Plato; the problems arising from his dialogues are approached from epistemological, (...) ontological and hermeneutic standpoints. Other topics include: the phenomenology of the human body viewed in its relation to the general concept of matter, pedagogics as a concern of the humanistic scholar in the light of Wilhelm Dilthey's philosophy and its continuation in his pupils, power viewed as a phenomenon, the dramas of Georg Büchner, philosophy East and West and the relation of history to tradition. A bibliography of the works of Eugen Fink and of books and essays on his works is also appended.—R. P. J. (shrink)